Fault Tree Analysis: 1020 Prime Implicants and Beyond
نویسنده
چکیده
The performances of almost all available fault tree analysis tools are limited by the performance of the prime implicant computation procedure they use. All these procedures manipulate the prime implicants of the fault trees explicitly, so that their complexities are directly related to the number of prime implicants to be generated. This paper presents a new analysis method of coherent as well as noncoher-ent fault trees that overcomes this limitation because its computational cost is not related to either the number of variables or the number of gates or the number of prime implicants of these trees. The interactive fault tree anal-yser METAPRIME that is based on this new method has been shown by experience to be able to perform in seconds the complete analysis of noncoherent fault trees with more than 10 20 prime implicants.
منابع مشابه
Fault Tree Analysis: 10 Prime Implicants and Beyond
The performances of almost all available fault tree analysis tools are limited by the performance of the prime implicant computation procedure they use. All these procedures manipulate the prime implicants of the fault trees explicitly, so that their complexities are directly related to the number of prime implicants to be generated. This paper presents a new analysis method of coherent as well...
متن کاملNew Qualitative Analysis Strategies in Metaprime
The fault tree analysis tool Metaprime allows reliability engineers to make, in an interactive way, exact qualitative and quantitative analysis of very complex fault trees that could not be completely treated by previously available analysis technologies. The qualitative aspect of the analysis of a fault tree consists in computing all or part of the set of prime implicants (i.e., minimal cut se...
متن کاملMETAPRIME, an Interactive Fault Tree Analyser
The performances of almost all available fault tree analysis tools are limited by the performance of the prime implicant computation procedure they use. All these procedures manipulate the prime implicants of the fault trees in extension, so that the analysis costs are directly related to the number of prime implicants to be generated, which in practice makes these tools di cult to be applied o...
متن کاملAdvanced Features of the Fault Tree Solver FTREX
This paper presents advanced features of a fault tree solver FTREX (Fault Tree Reliability Evaluation eXpert). Fault tree analysis is one of the most commonly used methods for the safety analysis of industrial systems especially for the probabilistic safety analysis (PSA) of nuclear power plants. Fault trees are solved by the classical Boolean algebra[1,2], conventional Binary Decision Diagram ...
متن کاملTowards an Interactive Fault Tree Analyser
Currently available fault tree analysis techniques are not powerful enough to allow engineers to fully exploit these trees. Large fault trees require hours of CPU time on mainframe computers to be analysed, and this analysis provides designers only with approximate qualitative and quantitative informations. This paper presents data structures and algorithms that support the interactive exact an...
متن کامل